State and proof great picard theorem